выполнимость требований

выполнимость требований

 

выполнимость требований

[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • satisfiability


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать реферат

Смотреть что такое "выполнимость требований" в других словарях:

  • Правовое государство — …   Википедия

  • Требования к программному обеспечению — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Проставив сноски, внести более точные указания на источники. Пере …   Википедия

  • ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) нем. философ, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском ун тах. В 1672 1676 в Париже. С 1676 состоял на службе у ганноверских… …   Философская энциклопедия

  • ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… …   Философская энциклопедия

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …   Философская энциклопедия

  • Свойства алгоритма — Свойства алгоритмов К алгоритму предъявляется ряд требований: Определенность, т.е. он должен быть точен, общепонятен, исключать возможность произвольного толкования. Массовость, т.е. чтобы его можно было применить к однотипным задачам.… …   Википедия

  • Лейбниц Готфрид Вильгельм — Лейбниц (Leibniz) Готфрид Вильгельм (1.7.1646, Лейпциг, 14.11.1716, Ганновер), немецкий философ идеалист, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском университетах. В 1668… …   Большая советская энциклопедия

  • Лейбниц — (Leibniz)         Готфрид Вильгельм (1.7.1646, Лейпциг, 14.11.1716, Ганновер), немецкий философ идеалист, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском университетах. В 1668… …   Большая советская энциклопедия

  • Лейбниц, Готфрид Вильгельм — Готфрид Вильгельм Лейбниц Gottfried Wilhelm Leibniz …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»